quantified statement

量化命题